What You Didn't Learn in Berkeley CS 188: Intro to RL
neelsomaniblog.com·4h·
Discuss: Hacker News
⚡Partial Evaluation
Mechanisms for Quantum Advantage in Global Optimization of Nonconvex Functions
arxiv.org·4h
⚡Partial Evaluation
Toy Binary Decision Diagrams
philipzucker.com·1d
✅Type Checking
A Solution to the Paperclip Problem
link.springer.com·5h·
Discuss: Hacker News
💫Effect Systems
SDQ-LLM: Sigma-Delta Quantization for 1-bit LLMs of any size
reddit.com·4h·
Discuss: r/LocalLLaMA
📏Linear Memory
Indexing, Hashing & Query Optimization
dev.to·1h·
Discuss: DEV
📊Query Optimizers
Inverse Mixed-Integer Programming: Learning Constraints then Objective Functions
arxiv.org·4h
🧩Constraint Solvers
A Complex Qutrit Inside an Octonionic One
golem.ph.utexas.edu·14h
🔶Lattice Theory
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.org·4h
🌱Minimal ML
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·16h·
Discuss: Hacker News
🗺️Region Inference
<p>**Abstract:** This paper introduces a novel framework for formally verifying the collision avoidance behavior of autonomous drone swarms operating in complex...
freederia.com·11h
🎯Symbolic Execution
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🎲Property Testing
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·2d·
Discuss: Hacker News
🧩Constraint Solvers
Self hosted password vault
github.com·13h·
Discuss: r/opensource, r/selfhosted
🔀SSA Form
Progressive Bound Strengthening via Doubly Nonnegative Cutting Planes for Nonconvex Quadratic Programs
arxiv.org·1d
🧩Constraint Solvers
Hardware Stockholm Syndrome
programmingsimplicity.substack.com·7h·
Discuss: Substack
🖥️Minimal VMs
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1d·
Discuss: DEV
🌳Pattern Match Compilation
iLLM-A*: Hybrid AI to speed up path planning by a factor of 1000
heise.de·55m
🕸️Graph Algorithms
Using Palm Jumeirah's Design to Visualize the Elliptic Curve Method
codingpirate.com·1d·
Discuss: Hacker News
🔢Algebraic Datatypes
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·1d
🚪Function Prologues